منابع مشابه
Involutive Bases in the Weyl Algebra
Involutive bases are a special kind of non-reduced Gröbner bases. They have been introduced by Gerdt and collaborators for polynomial ideals (see e.g. Zharkov and Blinkov, 1993; Gerdt and Blinkov, 1998a,b) based on ideas from the Janet–Riquier theory of differential equations (Janet, 1929; Riquier, 1910). Involutive bases possess special combinatorial properties: in particular, they define Stan...
متن کاملNoncommutative involutive bases
Gröbner Basis theory originated in the work of Buchberger [4] and is now considered to be one of the most important and useful areas of computer algebra. In 1993, Zharkov and Blinkov [13] proposed an alternative method of computing a commutative Gröbner Basis, namely the computation of an Involutive Basis. In the mid 1980’s, Mora showed [11] that Buchberger’s work could be generalised for nonco...
متن کاملImproved Computation of Involutive Bases
In this paper, we describe improved algorithms to compute Janet and Pommaret bases. To this end, based on the method proposed by Möller et al. [21], we present a more efficient variant of Gerdt’s algorithm (than the algorithm presented in [17]) to compute minimal involutive bases. Further, by using the involutive version of Hilbert driven technique, along with the new variant of Gerdt’s algorit...
متن کاملInvolutive Bases of Polynomial Ideals
In this paper we consider an algorithmic technique more general than that proposed by Zharkov and Blinkov for the involutive analysis of polynomial ideals. It is based on a new concept of involutive monomial division which is defined for a monomial set. Such a division provides for each monomial the self-consistent separation of the whole set of variables into two disjoint subsets. They are cal...
متن کاملTerm-ordering free involutive bases
In this paper, we consider a monomial ideal J / P := A[x1, . . . , xn], over a commutative ring A, and we face the problem of the characterization for the familyMf (J) of all homogeneous ideals I / P such that the A-module P/I is free with basis given by the set of terms in the Gröbner escalier N(J) of J. This family is in general wider than that of the ideals having J as initial ideal w.r.t. a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2002
ISSN: 0747-7171
DOI: 10.1006/jsco.2002.0556